编程通常需要使用各种数据结构，元编程也不例外。对于类型元编程，主要数据结构是类型列表，是一个包含类型的列表。模板元程序可以对这些类型列表进行操作，最终生成可执行程序的一部分。本章中，将讨论如何使用类型列表。本章大多数涉及到类型列表的操作都使用模板元编程，所以建议先了解一下第23章的元编程。